32-bit float recording